翻訳と辞書 Words near each other ・ Saturable absorption ・ Saturable reactor ・ Saturargues ・ Saturate ・ Saturate (Breaking Benjamin album) ・ Saturate (Gojira album) ・ Saturate (Jeff Deyo album) ・ Saturate, aromatic, resin and asphaltene ・ Saturated absorption spectroscopy ・ Saturated and unsaturated compounds ・ Saturated array ・ Saturated calomel electrode ・ Saturated fat ・ Saturated fat and cardiovascular disease controversy ・ Saturated measure ・ Saturated model ・ Saturated mutagenesis ・ Saturated set ・ Saturated spectroscopy ・ Saturated squeeze ・ Saturated-surface-dry ・ Saturation ・ Saturation (chemistry) ・ Saturation (genetic) ・ Saturation (graph theory) ・ Saturation (magnetic) ・ Saturation (telecommunications) ・ Saturation (Urge Overkill album) ・ Saturation (Vas Deferens Organization album) ・ Saturation 70 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Saturated model ： ウィキペディア英語版 Saturated model In mathematical logic, and particularly in its subfield model theory, a saturated model ''M'' is one which realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is $\backslash aleph\_1$-saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection, see Goldblatt (1998). ==Definition== Let κ be a finite or infinite cardinal number and ''M'' a model in some first-order language. Then ''M'' is called κ-saturated if for all subsets ''A'' ⊆ ''M'' of cardinality less than κ, ''M'' realizes all complete types over ''A''. The model ''M'' is called saturated if it is |''M''|-saturated where |''M''| denotes the cardinality of ''M''. That is, it realizes all complete types over sets of parameters of size less than |''M''|. According to some authors, a model ''M'' is called countably saturated if it is $\backslash aleph\_1$-saturated; that is, it realizes all complete types over countable sets of parameters. According to others, it is countably saturated if it is $\backslash aleph\_0$-saturated; i.e. realizes all complete types over finite parameter sets. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Saturated model」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.